Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Arthur–Merlin Games in Boolean Decision Trees

Année:
1999
Langue:
english
Fichier:
PDF, 253 KB
english, 1999
2

A Lower Bound for the Size of Syntactically Multilinear Arithmetic Circuits

Année:
2008
Langue:
english
Fichier:
PDF, 330 KB
english, 2008
6

Distance labeling in graphs

Année:
2004
Langue:
english
Fichier:
PDF, 325 KB
english, 2004
7

On Interpolation and Automatization for Frege Systems

Année:
2000
Langue:
english
Fichier:
PDF, 278 KB
english, 2000
8

On the Complexity of Matrix Product

Année:
2003
Langue:
english
Fichier:
PDF, 169 KB
english, 2003
9

Deterministic Extractors for Bit‐Fixing Sources by Obtaining an Independent Seed

Année:
2006
Langue:
english
Fichier:
PDF, 276 KB
english, 2006
14

Multilinear formulas, maximal-partition discrepancy and mixed-sources extractors

Année:
2011
Langue:
english
Fichier:
PDF, 309 KB
english, 2011
15

A time lower bound for satisfiability

Année:
2005
Langue:
english
Fichier:
PDF, 208 KB
english, 2005
16

On the distribution of the number of roots of polynomials and explicit weak designs

Année:
2003
Langue:
english
Fichier:
PDF, 209 KB
english, 2003
17

Analyzing linear mergers

Année:
2008
Langue:
english
Fichier:
PDF, 148 KB
english, 2008
18

On the “log rank”-conjecture in communication complexity

Année:
1995
Langue:
english
Fichier:
PDF, 887 KB
english, 1995
19

Fourier analysis for probabilistic communication complexity

Année:
1995
Langue:
english
Fichier:
PDF, 902 KB
english, 1995
20

Super-logarithmic depth lower bounds via the direct sum in communication complexity

Année:
1995
Langue:
english
Fichier:
PDF, 765 KB
english, 1995
21

Deterministic polynomial identity testing in non-commutative models

Année:
2005
Langue:
english
Fichier:
PDF, 217 KB
english, 2005
22

Balancing Syntactically Multilinear Arithmetic Circuits

Année:
2008
Langue:
english
Fichier:
PDF, 526 KB
english, 2008
23

The Strength of Multilinear Proofs

Année:
2008
Langue:
english
Fichier:
PDF, 799 KB
english, 2008
24

Sub-Constant Error Probabilistically Checkable Proof of Almost-Linear Size

Année:
2010
Langue:
english
Fichier:
PDF, 848 KB
english, 2010
25

Lower Bounds and Separations for Constant Depth Multilinear Circuits

Année:
2009
Langue:
english
Fichier:
PDF, 663 KB
english, 2009
26

PCP Characterizations of NP: Toward a Polynomially-Small Error-Probability

Année:
2011
Langue:
english
Fichier:
PDF, 715 KB
english, 2011
27

Quantum Information and the PCP Theorem

Année:
2009
Langue:
english
Fichier:
PDF, 485 KB
english, 2009
28

Regular Resolution Lower Bounds For The Weak Pigeonhole Principle

Année:
2004
Langue:
english
Fichier:
PDF, 275 KB
english, 2004
29

Deterministic extractors for affine sources over large fields

Année:
2008
Langue:
english
Fichier:
PDF, 626 KB
english, 2008
30

Separation of the Monotone NC Hierarchy

Année:
1999
Langue:
english
Fichier:
PDF, 371 KB
english, 1999
31

VC-Dimension of Sets of Permutations

Année:
2000
Langue:
english
Fichier:
PDF, 202 KB
english, 2000
32

Resolution over linear equations and multilinear proofs

Année:
2008
Langue:
english
Fichier:
PDF, 828 KB
english, 2008
34

A Counterexample to Strong Parallel Repetition

Année:
2011
Langue:
english
Fichier:
PDF, 159 KB
english, 2011
35

A Parallel Repetition Theorem

Année:
1998
Langue:
english
Fichier:
PDF, 602 KB
english, 1998
38

Lower Bounds for Matrix Product in Bounded Depth Circuits with Arbitrary Gates

Année:
2003
Langue:
english
Fichier:
PDF, 257 KB
english, 2003
40

Tensor-Rank and Lower Bounds for Arithmetic Formulas

Année:
2013
Langue:
english
Fichier:
PDF, 136 KB
english, 2013
43

Monotone circuits for matching require linear depth

Année:
1992
Langue:
english
Fichier:
PDF, 526 KB
english, 1992